admissible homotopy

可允许的同伦